Reinhold Heckmann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Lower and upper power domain constructions commute on all cpos

Reinhold Heckmann

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 354 KB

english, 1991

2

Contractivity of linear fractional transformations

Reinhold Heckmann

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 140 KB

english, 2002

3

Big Integers and Complexity Issues in Exact Real Arithmetic

Reinhold Heckmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

File:

PDF, 29 KB

1998

4

How Many Argument Digits are Needed to Produce n Result Digits?

Reinhold Heckmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 1.16 MB

english, 2000

5

[IEEE 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Orlando, FL, USA (2008.05.5-2008.05.7)] 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) - Worst-Case Execution Time - A Tool Provider's Perspective

Ferdinand, Christian, Heckmann, Reinhold

Year:

2008

Language:

english

File:

PDF, 256 KB

english, 2008

6

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation

Ferdinand, Christian, Heckmann, Reinhold, Wolff, Hans-Jörg, Renz, Christian, Gupta, Manabendra, Parshin, Oleg

Year:

2006

Language:

english

File:

PDF, 355 KB

english, 2006

7

Power domain constructions

Reinhold Heckmann

Journal:

Science of Computer Programming

Year:

1991

Language:

english

File:

PDF, 3.70 MB

english, 1991

8

Stable power domains

Reinhold Heckmann

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.07 MB

english, 1994

9

Quantitative semantics, topology, and possibility measures

Reinhold Heckmann, Michael Huth

Journal:

Topology and its Applications

Year:

1998

Language:

english

File:

PDF, 1.79 MB

english, 1998

10

Characterising FS domains by means of power domains

Reinhold Heckmann

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 105 KB

english, 2001

11

A non-topological view of dcpos as convergence spaces

Reinhold Heckmann

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 370 KB

english, 2003

12

A computational model for metric spaces

Abbas Edalat, Reinhold Heckmann

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.43 MB

english, 1998

13

Completeness Classes of Equilogical Spaces

Reinhold Heckmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

yoruba

File:

PDF, 978 KB

yoruba, 1999

14

A Non-Topological View of Dcpos as Convergence Spaces (Extended Abstract)

Reinhold Heckmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 40 KB

english, 2001

15

Abstract Valuations: A Novel Representation of Plotkin Power Domain and Vietoris Hyperspace

Reinhold Heckmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 845 KB

english, 1997

16

An efficient ELL(1)-parser generator

Reinhold Heckmann

Journal:

Acta Informatica

Year:

1986

Language:

english

File:

PDF, 1.06 MB

english, 1986

17

Power domains and second-order predicates

Reinhold Heckmann

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.89 MB

english, 1993

18

Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces

Reinhold Heckmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 372 KB

english, 2006

19

Spaces of Valuations

REINHOLD HECKMANN

Journal:

Annals of the New York Academy of Sciences

Year:

1996

Language:

english

File:

PDF, 1.22 MB

english, 1996

20

Approximation of Metric Spaces by Partial Metric Spaces

Reinhold Heckmann

Journal:

Applied Categorical Structures

Year:

1999

Language:

english

File:

PDF, 100 KB

english, 1999

21

Similarity, topology, and uniformity

Reinhold Heckmann

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 313 KB

english, 2010

22

A functional description of TEX's formula layout

HECKMANN, REINHOLD, WILHELM, REINHARD

Journal:

Journal of Functional Programming

Year:

1997

Language:

english

File:

PDF, 759 KB

english, 1997

23

Architecture exploration and timing estimation during early design phases

Reinhold Heckmann, Christian Ferdinand, Daniel Kästner, Stefana Nenova

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 816 KB

english, 2013

24

Quasicontinuous Domains and the Smyth Powerdomain

Heckmann, Reinhold, Keimel, Klaus

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 289 KB

english, 2013

25

T-CREST: Time-predictable multi-core architecture for embedded systems

Schoeberl, Martin, Abbaspour, Sahar, Akesson, Benny, Audsley, Neil, Capasso, Raffaele, Garside, Jamie, Goossens, Kees, Goossens, Sven, Hansen, Scott, Heckmann, Reinhold, Hepp, Stefan, Huber, Benedikt,

Journal:

Journal of Systems Architecture

Year:

2015

Language:

english

File:

PDF, 2.20 MB

english, 2015

26

Towards formally verifiable resource bounds for real-time embedded systems

Hammond, Kevin, Ferdinand, Christian, Heckmann, Reinhold

Journal:

ACM SIGBED Review

Year:

2006

Language:

english

File:

PDF, 548 KB

english, 2006

27

A Cartesian closed extension of the category of locales

HECKMANN, REINHOLD

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 230 KB

english, 2006

28

Spatiality of countably presentable locales (proved with the Baire category theorem)

HECKMANN, REINHOLD

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 154 KB

english, 2015

29

SAE Technical Paper Series [SAE International SAE World Congress & Exhibition - (APR. 16, 2007)] SAE Technical Paper Series - Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers

Ferdinand, Christian, Heckmann, Reinhold, Wolff, Hans-Joerg, Renz, Christian, Gupta, Manabendra, Parshin, Oleg, Wilhelm, Reinhard

Year:

2007

Language:

english

File:

PDF, 171 KB

english, 2007

30

SAE Technical Paper Series [SAE International SAE 2011 World Congress & Exhibition - (APR. 12, 2011)] SAE Technical Paper Series - An Integrated Timing Analysis Methodology for Real-Time Systems

Kästner, Daniel, Jersak, Marek, Ferdinand, Christian, Gliwa, Peter, Heckmann, Reinhold

Year:

2011

Language:

english

File:

PDF, 1.99 MB

english, 2011

31

SAE Technical Paper Series [SAE International SAE 2014 World Congress & Exhibition - (APR. 08, 2014)] SAE Technical Paper Series - Model-Driven Code Generation and Analysis

Kaestner, Daniel, Rustemeier, Carsten, Kiffmeier, Ulrich, Fleischer, Dirk, Nenova, Stefana, Heckmann, Reinhold, Schlickling, Marc, Ferdinand, Christian

Year:

2014

Language:

english

File:

PDF, 852 KB

english, 2014

32

SAE Technical Paper Series [SAE International SAE 2006 World Congress & Exhibition - (APR. 03, 2006)] SAE Technical Paper Series - Static Memory and Execution Time Analysis of Embedded Code

Ferdinand, Christian, Heckmann, Reinhold

Year:

2006

Language:

english

File:

PDF, 144 KB

english, 2006

33

SAE Technical Paper Series [SAE International SAE 2010 World Congress & Exhibition - (APR. 13, 2010)] SAE Technical Paper Series - Time Predictability from System-level Design to Task Implementations in Automotive Applications

Di Natale, Marco, Gai, Paolo, Heckmann, Reinhold, Ferdinand, Christian, Gentile, Giacomo, Terrier, Francois, Espinoza, Huascar D., Ariotti, Nicola, Gerard, Sebastien

Year:

2010

Language:

english

File:

PDF, 920 KB

english, 2010

34

LOWER BAG DOMAINS

Heckmann, Reinhold

Journal:

Fundamenta Informaticae

Year:

1995

File:

PDF, 1.60 MB

1995